﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace Logic
{
	class LogicalSystem
	{
		public enum BinaryOperators
		{
			And,
			Or,
			Implies,
			IfAndOnlyIf
		}

		List<string> pSymbols;

		public IList<string> Symbols { get { return pSymbols.AsReadOnly(); } }

		public LogicalSystem(IEnumerable<string> pSymbols)
		{
			this.pSymbols = pSymbols.ToList();
		}
	}
}
